Preliminary ZENO language description
نویسندگان
چکیده
منابع مشابه
Quantum Description of Classical Apparatus: Zeno Effect and Decoherence
We study the measurement process by treating classical detectors entirely quantum mechanically. Transition to the classical description and the mechanism of decoherence is investigated. We concentrate on influence of continuous measurement on decay of unstable systems (quantum Zeno effect). We discuss the experimental consequences of our results and a role of the projection postulate in a measu...
متن کاملDescription Logics − Preliminary Investigations
This report has been submitted forr publication outside of ITC and will probably be copyrighted if accepted for publication. It has been issued as a Technical Report forr early dissemination of its contents. In view of the transfert of copy right too the outside publisher, its distribution outside of ITC priorr to publication should be limited to peer communications and specificc requests. Afte...
متن کاملQuantum Zeno dynamics and quantum Zeno subspaces
A quantum Zeno dynamics can be obtained by means of frequent measurements, frequent unitary kicks or a strong continuous coupling and yields a partition of the total Hilbert space into quantum Zeno subspaces, among which any transition is hindered. We focus on the “continuous” version of the quantum Zeno effect and look at several interesting examples. We first analyze these examples in practic...
متن کاملMatching in Description Logics : Preliminary
Matching of concepts with variables (concept patterns) is a relatively new operation that has been introduced in the context of concept description languages (description logics), originally to help discard unimportant aspects of large concepts appearing in industrial-strength knowledge bases. This paper proposes a new approach to performing matching, based on a \concept-centered" normal form, ...
متن کاملEmbedded Architecture Description Language
In the state-of-the-art hardware/software (HW/SW) codesign of embedded systems, there lacks of sufficient support for architectural specifications across HW/SW boundaries. Such an architectural specification ought to capture both hardware and software components and their interactions, and facilitate effective design exploitation of HW/SW trade-offs and scalable HW/SW co-verification. In this p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 1979
ISSN: 0362-1340,1558-1160
DOI: 10.1145/988113.988116